Machine Learning Fundamentals: decision trees project
dev.to·20h·
Discuss: DEV
🔗Topological Sorting
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·8h
🌳Context free grammars
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·20h
🌳Context free grammars
Students, here are 5 key things to know when learning how to train large language models
techradar.com·18h
💻Local LLMs
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·18h
🧮Kolmogorov Bounds
A New Breed of Chatbots Are Quietly Changing Product Management
hackernoon.com·1d
🌀Brotli Internals
Outbound Modeling for Inventory Management
arxiv.org·8h
🧩WASM Components
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Alignment
languagelog.ldc.upenn.edu·16h
🔄Language Evolution
Asymmetry of Verification and Verifier's Law
jasonwei.net·10h·
Discuss: Hacker News
🔮Proof Search
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Hierarchical Modeling (H-Nets)
cartesia.ai·16h·
Discuss: Hacker News
🌀Hyperbolic Geometry
Finding Order-Preserving Subgraphs
arxiv.org·8h
🕸️Graph Algorithms
A distributed systems reliability glossary
antithesis.com·21h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·8h
🌳Context free grammars
CompassJudger-2: Towards Generalist Judge Model via Verifiable Rewards
arxiv.org·1d
📊Learned Metrics